Ideals, Ideal Test, Principal Ideals Vs Cyclic Subgroups, Factor Ring Example